Invocat A nondeterministic generative programming language
نویسندگان
چکیده
We present the design and implementation of a probabilistic, nondeterministic programming language called Invocat for defining and generating from context-free grammars. We define Invocat’s lexical, concrete, and abstract syntaxes as well as its operational semantics. We implement the language in Lua as a lexical analyzer, parser, and interpreter.
منابع مشابه
LINGOL-A Progress Report
the information in the two components is duplicated In fact, he can omit the generative component entirely and put everything in the cognitive component, though at some cost in resource consumption At run time, no f i rm commitment is made by the cognitive component to a particular choice of surface structure of an ambiguous sentence, allowing the generative component to pick and choose when th...
متن کاملNondeterministic Programming in Java with JSetL
In this paper, we show how nondeterministic programming techniques can be used within the Java programming language. Our proposal is to stay within a library-based approach but taking advantage of the (nondeterministic) constraint solver provided by the library JSetL to give the user the possibility to define its own nondeterministic code as new constraints. We also point out the potential syne...
متن کاملBDL-A Nondeterministic Data Flow Programming Language with Backtracking
Both visual data flow and logic based programming languages have their merits as declarative languages for certain application domains. Combining their concepts to program with data flows and backtracking seems to be a promising idea, which lead to the development of BDL. BDL is a visual data flow programming language with constructs for nondeterministic programming and constraint checking. Its...
متن کاملA Generative Analysis of the Acquisition of Negation by Iranian EFL Learners: A Typological Study
The present study was an attempt to investigate the acquisition of negationproperties by Persian monolingual and Kurdish-Persian bilingual learners of Englishacross different levels of language proficiency and within a generative framework.Generative models are generally concerned with issues such as universal grammar(UG), language transfer, and morphological variability in nonprimary languaged...
متن کاملProgramming Research Group an Algebraic Semantics for Nondeterministic Choice
Our book Algebraic Semantics of Imperative Programs uses the algebraic speci cation language OBJ to give a formal semantics to a simple imperative programming language, using a theory of abstract machines that associate integer values with the variables of the programming language. In this paper we extend the semantics to programs with a nondeterministic choice operation. Speci cally, we introd...
متن کامل